https://dasbestelexikon.de/it/wiki/Logica_proposizionale